proper subvariety

真子簇